$\forall$$M$:MsgA, $l$:IdLnk, ${\it tg}$:Id. $M$.dout2($l$;${\it tg}$) $\in$ Type